@echo off
SET KFROG_MAIN=%FROGGY_ROOT%\bin
SET ANTLR_PATH=%FROGGY_ROOT%\lib\antlr.jar
SET BATCH_PATH=.\validation\semantics
SET TEST_SRC2=.\validation\semantics\test-src
SET TEST_OUTPUT=.\validation\semantics\test-output

cd %FROGGY_ROOT%
java -classpath .;bin;lib\antlr.jar kfrog.KFrogMain --test-semantics %TEST_SRC2%\%~n1.kfrog > %TEST_OUTPUT%\%~n1.debug
cd %BATCH_PATH%
